Axiom of extensionality

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (March 2013) (Learn how and when to remove this message)

In axiomatic set theory and the branches of logic, mathematics, and computer science which rely upon it, the axiom of extensionality is one of the axioms of Zermelo–Fraenkel set theory. Informally, the axiom means that the two sets A and B are equal if and only if A and B have the same members.